Formal Methods and Software Engineering
-
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
By Jin Song Dong, Jim Woodcock, INTERNATIONAL CONFERENCE ON FORMAL ENGINPrentice Hall International Series in Computer Science (1997) 7. Derrick, J., Bowman, H., Boiten, E., Steen, M.: Comparing LOTOS and Z refinement relations. In: FORTE/PSTV'96, Kaiserslautern, Germany, Chapman & Hall (1996) 501–516 8.
-
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
By Jin Song Dong, Huibiao ZhuPoernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry- Howard Protocol. Monographs in computer science. Springer, Heidelberg (2005) 9. Rivera, J., Vallecillo, A.: Adding behavioural semantics to models.
-
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12,...
By Karin Breitman, Ana CavalcantiIn: Formal to Practical Security. LNCS, vol. 5458, pp. 70–94. Springer, Heidelberg (2009) 5. Cortier, V., Delaune, S., Lafourcade, P.: A survey of algebraic properties used in cryptographic protocols. Journal of Computer Security 14(1), ...
-
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
By Luke Ong, Zhenhua DuanThis book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.
-
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
By Michael Butler, Sylvain Conchon, Fatiha ZaïdiThis book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.
-
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
By Shaoying Liu, Kazuhiro Ogata, Mark LawfordThis book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
-
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
By Stephan Merz, Jun PangThis book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.
-
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004,...
By Mike Barnett, Jim Davies, Wolfram Schulte6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings Jim Davies, ... in Proceedings of FME 2002: Formal Methods– Getting IT Right, Denmark, LNCS 2391, Springer, 2002.
-
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
By Kung-Kiu Lau, Richard Banach7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings Kung-Kiu Lau, ... in Proceedings of FME 2002: Formal Methods– Getting IT Right, Denmark, LNCS 2391, Springer, 2002.
-
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023,...
By Yi Li, Sofiène Tahar... learning timed automata efficiently . In : Lee , R. , Jha , S. , Mavridou , A. , Giannakopoulou , D. ( eds . ) NFM 2020 ... A Journey from Process Algebra via Timed Automata to Model Learning . LNCS , vol . 13560. Springer , Cham ( 2022 ) ...