Formal Methods and Software Engineering

Kazuhiro Ogata; Dominique Méry; Meng Sun; Shaoying Liu

doi:10.1007/978-981-96-0617-7

Proceedings Year : 2024

Formal Methods and Software Engineering

, (1, 2, 3, 4) , ,

1
2
3
4

Kazuhiro Ogata

Function : Author
PersonId : 1479028
ORCID : 0000-0002-4441-3259

Dominique Méry

Function : Author
PersonId : 1227
IdHAL : dominiquemery
ORCID : 0000-0001-5231-6611
IdRef : 076035085

Modeling and Verification of Distributed Algorithms and Systems

TELECOM Nancy

Université de Lorraine

Proof-oriented development of computer-based systems

CV

Meng Sun

Function : Author

Shaoying Liu

Function : Author
PersonId : 1479029
ORCID : 0000-0002-6748-5052

Domains

Mathematics [math] Computer science

Dominique Méry : Connect in order to contact the contributor

https://inria.hal.science/hal-04838753

Submitted on : Sunday, December 15, 2024-8:49:59 AM

Last modification on : Tuesday, December 17, 2024-3:27:41 PM

Dates and versions

hal-04838753 , version 1 (15-12-2024)

Licence

Attribution

Identifiers

HAL Id : hal-04838753 , version 1
DOI : 10.1007/978-981-96-0617-7

Cite

Kazuhiro Ogata, Dominique Méry, Meng Sun, Shaoying Liu. Formal Methods and Software Engineering. Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings, LNCS-15394, Springer Nature Singapore, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-981-96-0617-7⟩. ⟨hal-04838753⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

16 View

0 Download

Formal Methods and Software Engineering

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Altmetric

Share