New Results on Timed Specifications
From MaRDI portal
Publication:2890330
DOI10.1007/978-3-642-28412-0_12zbMath1312.68129MaRDI QIDQ2890330
Axel Legay, Timothy Bourke, Andrzej Wąsowski, Didier Lime, Alexandre David, Kim Guldstrand Larsen, Ulrik Nyman
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://vbn.aau.dk/ws/files/58769014/ownWADT2010.pdf
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work