Work

Progress Report: CEq Emergence Assistant (the tool support for the CEq formal method)

Year: 2008

Type: conference-paper

Abstract: JAIST 21世紀COEシンポジウム2008「検証進化可能電子社会」= JAIST 21st Century COE Symposium 2008 Verifiable and Evolvable e-Society, 開催：2008年3月3日～4日, 開催場所：北陸先端科学技術大学院大学

Source: Institutional Repositories DataBase (IRDB)

Author: Jittisak Senachak

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W36588411

FWCI:

Cites: 28

Cited by:

Related to: 10