Sortiert nach
Formal methods in system design, 2004-09, Vol.25 (2/3), p.105-127
2004
Link zum Volltext
Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003, 2003, p.368-371
2003
- Link zum Volltext
Formal methods in system design, 2004-07, Vol.25 (1), p.67-96
2004
Link zum Volltext
International journal on software tools for technology transfer, 2009-10, Vol.11 (4), p.269-272
2009
Link zum Volltext
Lecture notes in computer science, 2005, p.570-574
2005
Link zum Volltext
Formal methods in system design, 2011-10, Vol.39 (2), p.115-116
2011
Link zum Volltext
Formal methods in system design, 2011, Vol.39 (2), p.115-116
2011
Link zum Volltext
Integrated Formal Methods, p.139-154
Link zum Volltext
Service-Oriented Computing, p.714-721
Link zum Volltext
Formal methods in system design, 2009-08, Vol.35 (1), p.40-55
2009
Link zum Volltext
Formal Aspects of Component Software, 2016, Vol.9539, p.275-293
2016
Link zum Volltext
Electronic notes in theoretical computer science, 2003-09, Vol.89 (3), p.417-432
2003
Link zum Volltext
FM 2012: Formal Methods, p.277-292
Link zum Volltext
2007 44th ACM/IEEE Design Automation Conference, 2007, p.594-599
2007
- Link zum Volltext
International journal on software tools for technology transfer, 2005-02, Vol.7 (1), p.61-73
2005
Link zum Volltext
International journal on software tools for technology transfer, 2004-08, Vol.6 (2), p.174-182
2004
Link zum Volltext
Computer Aided Verification, p.433-445
Link zum Volltext
Electronic notes in theoretical computer science, 2006-01, Vol.144 (1), p.35-50
2006
Link zum Volltext
2012 Formal Methods in Computer-Aided Design (FMCAD), 2012, p.82-90
2012
- Link zum Volltext
2009 Formal Methods in Computer-Aided Design, 2009, p.198-204
2009
Link zum Volltext
Correct Hardware Design and Verification Methods, 2001, p.98-103
2001
Link zum Volltext
Electronic notes in theoretical computer science, 2002-10, Vol.68 (4), p.559-574
2002
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Software
- Software Engineering
- Computer Science, Software Engineering
- Model Check
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Model Checking
- Software Engineering/programming And Operating Systems
- Theoretical Computer Science
- Algorithms
- Ansi-C
- Binary Decision Diagrams
- Bound Model Check
- Cae) And Design
Kollektion
- Ingenta E-Journals
- HEAL-Link subscriptions: Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Journals@Ovid Full Text
- IEEE/IET Electronic Library
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete