Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi
From MaRDI portal
Publication:2437597
DOI10.1007/978-3-642-54624-2zbMath1283.68036OpenAlexW2487111507MaRDI QIDQ2437597
No author found.
Publication date: 4 March 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications ⋮ Assertion-based analysis via slicing withABETS(system description) ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty
This page was built for publication: Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi