Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- model check 9 Treffer
- temporal logic 7 Treffer
- abstract interpretation 2 Treffer
- atomic proposition 2 Treffer
- decision procedure 2 Treffer
-
45 weitere Werte:
- linear temporal logic formula 2 Treffer
- markov chain 2 Treffer
- model check problem 2 Treffer
- abstract model 1 Treffer
- atomic formula 1 Treffer
- complexity 1 Treffer
- concurrent program 1 Treffer
- confidence bound 1 Treffer
- connected subgraph 1 Treffer
- critical section 1 Treffer
- cryptographic protocol 1 Treffer
- decidability 1 Treffer
- exit rate 1 Treffer
- future operator 1 Treffer
- goal state 1 Treffer
- ieee computer society 1 Treffer
- input output symbolic transition systems 1 Treffer
- input queue 1 Treffer
- java program 1 Treffer
- kripke model 1 Treffer
- lexicographic product 1 Treffer
- liveness property 1 Treffer
- message sequence chart 1 Treffer
- model check algorithm 1 Treffer
- model checker 1 Treffer
- modular architecture 1 Treffer
- move vector 1 Treffer
- multicast protocol 1 Treffer
- mutual exclusion 1 Treffer
- partial order reduction 1 Treffer
- past operator 1 Treffer
- predicate logic 1 Treffer
- proof obligation 1 Treffer
- propositional calculus 1 Treffer
- ranking function 1 Treffer
- reachability analysis 1 Treffer
- reachability problem 1 Treffer
- regular expression 1 Treffer
- reservation station 1 Treffer
- satisfiability problem 1 Treffer
- security property 1 Treffer
- security protocol 1 Treffer
- sensor node 1 Treffer
- state space 1 Treffer
- strongly connect component 1 Treffer
Publikation
- automata, languages and programming : 37th international colloquium, icalp 2010, bordeaux, france, july 6-10, 2010, proceedings, part ii 1 Treffer
- automated technology for verification and analysis : 7th international symposium, atva 2009, macao, china, october 14-16, 2009. proceedings 1 Treffer
- computer aided verification : 16th international conference, cav 2004, boston, ma, usa, july 13-17, 2004. proceedings 1 Treffer
- computer aided verification : 23rd international conference, cav 2011, snowbird, ut, usa, july 14-20, 2011. proceedings 1 Treffer
- concur 2009 - concurrency theory : 20th international conference, concur 2009, bologna, italy, september 1-4, 2009. proceedings 1 Treffer
-
15 weitere Werte:
- concur 2011 - concurrency theory : 22nd international conference, concur 2011, aachen, germany, september 6-9, 2011. proceedings 1 Treffer
- correct hardware design and verification methods : 10th ifip wg10.5 advanced research working conference, charme'99 badherrenalb,germany,september 27-29, 1999 proceedings 1 Treffer
- fm 2009: formal methods : second world congress, eindhoven, the netherlands, november 2-6, 2009. proceedings 1 Treffer
- formal methods and software engineering : 11th international conference on formal engineering methods icfem 2009, rio de janeiro, brazil, december 9-12, 2009. proceedings 1 Treffer
- formal methods: foundations and applications : 15th brazilian symposium, sbmf 2012, natal, brazil, september 23-28, 2012. proceedings 1 Treffer
- foundations of computation theory : proceedings of the 1983 international fct-conference borgholm, sweden, august 21-27, 1983 1 Treffer
- frontiers of combining systems : 9th international symposium, frocos 2013, nancy, france, september 18-20, 2013. proceedings 1 Treffer
- logic programming : 21st international conference, iclp 2005, sitges, spain, october 2-5, 2005. proceedings 1 Treffer
- test and analysis of web services 1 Treffer
- tests and proofs : third international conference, tap 2009, zurich, switzerland, july 2-3, 2009. proceedings 1 Treffer
- theoretical aspects of computing - ictac 2008 : 5th international colloquium, istanbul, turkey, september 1-3, 2008. proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems : 14th international conference, tacas 2008, held as part of the joint european conferences on theory and practice of software, etaps 2008, budapest, hungary, march 29-april 6, 2008. proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems : 18th international conference, tacas 2012, held as part of the european joint conferences on theory and practice of software, etaps 2012, tallinn, estonia, march 24 - april 1, 2012. proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems : 22nd international conference, tacas 2016, held as part of the european joint conferences on theory and practice of software, etaps 2016, eindhoven, the netherlands, april 2-8, 2016, proceedings 1 Treffer
- verification: theory and practice : essays dedicated to zohar manna on the occasion of his 64th birthday 1 Treffer
Inhaltsanbieter
20 Treffer
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
In: Test and Analysis of Web Services; (2007) S. 57-85Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2005Online E-BookZugriff: