Skip to main navigation Skip to search Skip to main content

Collaborative Verification-Driven Engineering of Hybrid Systems

  • Stefan Mitsch
  • , Grant Olney Passmore
  • , Andre Platzer

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)71-97
Number of pages27
JournalMathematics in Computer Science
Volume8
Issue number1
DOIs
Publication statusPublished - Mar 2014

Fields of science

  • 102 Computer Sciences
  • 102015 Information systems
  • 102027 Web engineering

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this