![Procedural programming languages / NuSMV / Boolean algebra / Data types / Expr / Boolean data type / Model checking / C / FALSE / Computing / Software engineering / Software Procedural programming languages / NuSMV / Boolean algebra / Data types / Expr / Boolean data type / Model checking / C / FALSE / Computing / Software engineering / Software](https://www.pdfsearch.io/img/dbf4395b6367ffc9b780640cba307285.jpg)
| Document Date: 2005-11-21 08:41:53 Open Document File Size: 282,30 KBShare Result on Facebook
City Reading / / Currency USD / LTL / / / Facility Colorado University / / IndustryTerm synchronous and asynchronous finite state systems / technology transfer projects / software architecture / / OperatingSystem POSIX / / Organization Colorado University / / Person Gavin Keighren / Marco Pistore / Alessandro Cimatti / Marco Roveri / Andrey Tchaltsev / Simone Semprini / / Position interpreter / / ProgrammingLanguage ANSI C / XML / / Technology XML / Simulation / ANSI C / Finite State Machine / / URL http /
SocialTag |