Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- linear temporal logic 12 Treffer
- temporal logic 12 Treffer
- atomic proposition 10 Treffer
- symbolic model check 10 Treffer
- tree automaton 9 Treffer
-
45 weitere Werte:
- reachability analysis 7 Treffer
- regular language 6 Treffer
- winning strategy 5 Treffer
- decision procedure 4 Treffer
- hybrid automaton 4 Treffer
- label transition system 4 Treffer
- liveness property 4 Treffer
- model check problem 4 Treffer
- binary decision diagram 3 Treffer
- formal method 3 Treffer
- hybrid system 3 Treffer
- kripke structure 3 Treffer
- parallel composition 3 Treffer
- partial order 3 Treffer
- proof obligation 3 Treffer
- pushdown automaton 3 Treffer
- reachability problem 3 Treffer
- reachable state 3 Treffer
- theorem prove 3 Treffer
- abstract interpretation 2 Treffer
- boolean formula 2 Treffer
- bound model check 2 Treffer
- cache line 2 Treffer
- counter machine 2 Treffer
- destination location 2 Treffer
- discrete event system 2 Treffer
- discrete transition 2 Treffer
- embed software 2 Treffer
- fairness constraint 2 Treffer
- input symbol 2 Treffer
- java program 2 Treffer
- linear temporal logic formula 2 Treffer
- linear time temporal logic 2 Treffer
- model check algorithm 2 Treffer
- partial order reduction 2 Treffer
- predicate abstraction 2 Treffer
- private variable 2 Treffer
- program complexity 2 Treffer
- program counter 2 Treffer
- proof rule 2 Treffer
- regular expression 2 Treffer
- safety property 2 Treffer
- satisfiability problem 2 Treffer
- state graph 2 Treffer
- transition relation 2 Treffer
Verlag
Publikation
- computer aided verification : 16th international conference, cav 2004, boston, ma, usa, july 13-17, 2004. proceedings 26 Treffer
- computer aided verification : 8th international conference, cav '96 new brunswick, nj, usa, july 31- august 3, 1996 proceedings 17 Treffer
- computer aided verification : 13th international conference, cav 2001 paris, france, july 18-22, 2001 proceedings 2 Treffer
- embedded software : third international conference, emsoft 2003, philadelphia, pa, usa, october 13-15, 2003. proceedings 2 Treffer
- hybrid and real-time systems : international workshop, hart'97 grenoble, france, march 26-28, 1997 proceedings 2 Treffer
-
35 weitere Werte:
- 25 years of model checking : history, achievements, perspectives 1 Treffer
- advances in computing science - asian'99 : 5th asian computing science conference phuket, thailand, december 10-12,1999 proceedings 1 Treffer
- application and theory of petri nets 1994 : 15th international conference zaragoza, spain, june 20-24, 1994 proceedings 1 Treffer
- automata, languages and programming : 25th international colloquium, icalp'98 aalborg, denmark, july 13-17, 1998 proceedings 1 Treffer
- automata, languages and programming : 26th international colloquium, icalp'99 prague, czech republic, july 11-15, 1999 proceedings 1 Treffer
- automata, languages and programming : 32nd international colloquium, icalp 2005, lisbon, portugal, july 11-15, 2005. proceedings 1 Treffer
- compositionality: the significant difference : international symposium, compos'97 bad malente, germany, september 8-12, 1997 revised lectures 1 Treffer
- computer aided verification : 17th international conference, cav 2005, edinburgh, scotland, uk, july 6-10, 2005. proceedings 1 Treffer
- computer aided verification : 18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006. proceedings 1 Treffer
- computer aided verification : 20th international conference, cav 2008 princeton, nj, usa, july 7-14, 2008 proceedings 1 Treffer
- computer aided verification : 22nd international conference, cav 2010, edinburgh, uk, july 15-19, 2010. proceedings 1 Treffer
- concur 2005 - concurrency theory : 16th international conference, concur 2005, san francisco, ca, usa, august 23-26, 2005. proceedings 1 Treffer
- concur '92 : third international conference on concurrency theory stony brook, ny, usa, august 24-27, 1992 proceedings 1 Treffer
- embedded software : first international workshop, emsoft 2001 tahoe city, ca, usa, october 8-10, 2001 proceedings 1 Treffer
- formal methods in computer-aided design : third international conference, fmcad 2000 austin, tx, usa, november 1-3, 2000 proceedings 1 Treffer
- formal modeling and analysis of timed systems : 12th international conference, formats 2014, florence, italy, september 8-10, 2014. proceedings 1 Treffer
- formal modeling and analysis of timed systems : third international conference, formats 2005, uppsala, sweden, september 26-28, 2005. proceedings 1 Treffer
- fundamentals of computation theory : 10th international conference, fct '95 dresden, germany, august 22-25, 1995 proceedings 1 Treffer
- fundamentals of software engineering : third ipm international conference, fsen 2009, kish island, iran, april 15-17, 2009, revised selected papers 1 Treffer
- hybrid systems iii : verification and control 1 Treffer
- hybrid systems: computation and control : 10th international workshop, hscc 2007, pisa, italy, april 3-5, 2007. proceedings 1 Treffer
- hybrid systems: computation and control : 7th international workshop, hscc 2004, philadelphia, pa, usa, march 25-27, 2004. proceedings 1 Treffer
- hybrid systems: computation and control : 9th international workshop, hscc 2006, santa barbara, ca, usa, march 29-31, 2006. proceedings 1 Treffer
- information, interaction and agency 1 Treffer
- language and automata theory and applications : 10th international conference, lata 2016, prague, czech republic, march 14-18, 2016, proceedings 1 Treffer
- logic for programming, artificial intelligence, and reasoning : 15th international conference, lpar 2008, doha, qatar, november 22-27, 2008. proceedings 1 Treffer
- mathematical foundations of computer science 2014 : 39th international symposium, mfcs 2014, budapest, hungary, august 25-29, 2014. proceedings, part i 1 Treffer
- model checking software : 12th international spin workshop, san francisco, ca, usa, august 22-24, 2005. proceedings 1 Treffer
- next generation design and verification methodologies for distributed embedded control systems : proceedings of the gm r&d workshop, bangalore, india, january 2007 1 Treffer
- tools and algorithms for the construction and analysis of systems : 11th international conference, tacas 2005, held as part of the joint european conferences on theory and practice of software, etaps 2005, edinburgh, uk, april 4-8, 2005. proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems : 13th international conference, tacas 2007, held as part of the joint european conferences on theory and practice of software, etaps 2007 braga, portugal, march 24 - april 1, 2007. proceedings 1 Treffer
- tools and algorithms for the construction and analysis of systems : 4th international conference, tacas'98 held as part of the joint european conferences on theory and practice of software, etaps'98 lisbon, portugal, march 28 - april 4, 1998 proceedings 1 Treffer
- unifying theories of programming and formal engineering methods : international training school on software engineering, held at ictac 2013, shanghai, china, august 26-30, 2013, advanced lectures 1 Treffer
- verification of digital and hybrid systems 1 Treffer
- verified software: theories, tools, experiments : first ifip tc 2/wg 2.3 conference, vstte 2005, zurich, switzerland, october 10-13, 2005, revised selected papers and discussions 1 Treffer
Sprache
Inhaltsanbieter
84 Treffer
-
2016Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
1999Online E-BookZugriff:
-
In: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007; (2007) S. 47-49Online E-BookZugriff:
-
1998Online E-BookZugriff: