[Updated on July 12] Integration of CiNii Articles into CiNii Research from April 1, 2022

Modular Specification and Verification Method for Hybrid Systems

Bibliographic Information

Title
Modular Specification and Verification Method for Hybrid Systems
Author
Satoshi Yamane

Journal

Articles

See more

Research Data

See more

Books

See more

Dissertations

See more

Research Projects

See more

Products

See more

Details

  • CRID
    1010282256766957193
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top