Temat: process algebras - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "process algebras" wg kryterium: Temat

Wyświetlanie 1-10 z 31

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Process algebras for network communication
Autorzy:: Gruska, D.P.
Maggiolo-Schettini, A.
Data publikacji:: 2001
Słowa kluczowe:: concurrency
specification
process algebras
protocols; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: An Interface Group for Process Components
Autorzy:: Bergstra, J.A.
Middelburg, C.A.
Data publikacji:: 2010
Słowa kluczowe:: interface group
process component
process algebras; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Information Flow Testing
Autorzy:: Gruska, D. P.
Data publikacji:: 2013
Słowa kluczowe:: information flow
probabilistic process algebras; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Observation Based System Security
Autorzy:: Gruska, D.P.
Data publikacji:: 2007
Słowa kluczowe:: process algebras
timing attack
information flow; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Simulation Opacity
Autorzy:: Gruska, D. P.
Data publikacji:: 2014
Słowa kluczowe:: opacity
process algebras
information flow
security; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Note on Some Order Properties Related to Processes Semantics (I)
Autorzy:: Vaida, D.
Data publikacji:: 2006
Słowa kluczowe:: partial additive semantics
process algebras
semiring; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formal Analysis of SystemC Designs in Process Algebra
Autorzy:: Hojjat, H.
Mousavi, M. R.
Sirjani, M.
Data publikacji:: 2011
Słowa kluczowe:: SystemC
process algebras
formal verification
mCRL2; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Process Algebra with Nonstandard Timing
Autorzy:: Middelburg, K.A.
Data publikacji:: 2002
Słowa kluczowe:: process algebras
timing
nonstandard timing
urgent actions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On the relationships among four timed process algebras
Autorzy:: Corradini, F.
D'Ortenzio, D.
Inverardi, P.
Data publikacji:: 1999
Słowa kluczowe:: distributed systems
specification
verification
timed process algebras; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Controllable Delay-Insensitive Processes
Autorzy:: Josephs, M.B.
Kapoor, H.K.
Data publikacji:: 2007
Słowa kluczowe:: process algebras
refinement
testing
controllability
reflection
factorisation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 31

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "process algebras" wg kryterium: Temat