Work

Towards a Verification-Based Development Approach for Reactive Systems

Year: 2009

Type: book-chapter

Source: Frontiers in artificial intelligence and applications

DOI: 10.3233/978-1-60750-049-0-350

Authors: Kameda Tae, Arai Osamu, Gorlatch Sergei, Fujita Hamido

Institutions: Soka Women's College, Iwate Prefectural University, University of Münster

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W26684361

FWCI:

Cites: 11

Cited by:

Related to: 10