Suchergebnisse
Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- execution sequence 2 Treffer
- computation tree 1 Treffer
- conformance testing 1 Treffer
- decision procedure 1 Treffer
- deductive system 1 Treffer
-
17 weitere Werte:
- direct successor 1 Treffer
- equivalence relation 1 Treffer
- iii. reduction in finite state systems 1 Treffer
- incremental development 1 Treffer
- initial partition 1 Treffer
- invited lectures 1 Treffer
- linear temporal logic 1 Treffer
- liveness property 1 Treffer
- parallel composition 1 Treffer
- parallel operator 1 Treffer
- safety property 1 Treffer
- session 6: the state explosion problem 1 Treffer
- specification and verification (session 3) 1 Treffer
- state graph 1 Treffer
- state machine 1 Treffer
- transition system 1 Treffer
- verification method 1 Treffer
Publikation
- automata, languages and programming : 18th international colloquium madrid, spain, july 8-12, 1991 proceedings 1 Treffer
- computer aided verification : 3rd international workshop, cav '91 aalborg, denmark, july 1-4, 1991 proceedings 1 Treffer
- computer-aided verification : 2nd international conference, cav '90 new brunswick, nj, usa, june 18-21, 1990 proceedings 1 Treffer
- concur '91 : 2nd international conference on concurrency theory amsterdam, the netherlands, august 26-29, 1991 proceedings 1 Treffer
- model driven engineering languages and systems : 11th international conference, models 2008, toulouse, france, september 28 - october 3, 2008. proceedings 1 Treffer
Inhaltsanbieter
5 Treffer
-
1992Online E-BookZugriff:
-
1991Online E-BookZugriff:
-
1991Online E-BookZugriff:
-
1991Online E-BookZugriff: