Skip to contents

Dong, Jin Song [Editor]; Zhu, Huibiao [Other] ; International Conference on Formal Engineering Methods 12 2010 Schanghai

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6447
Dong, Jin Song [Author] ; Zhu, Huibiao [Other]

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6447
Liu, Zhiming [Author] ; Woodcock, Jim [Editor]; Zhu, Huibiao [Editor]

Theoretical Aspects of Computing – ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8049
Liu, Zhiming [Author] ; Woodcock, Jim [Editor]; Zhu, Huibiao [Editor]

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8051
Liu, Zhiming [Author] ; Woodcock, Jim [Editor]; Zhu, Huibiao [Editor]

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8050
Bowen, Jonathan P. [Editor]; Zhu, Huibiao [Editor]

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10134
Wong, W. Eric [Organizer]; Zhu, Huibiao [Organizer] ; International Symposium on Theoretical Aspects of Software Engineering 10. 2016 Schanghai, Hua dong shi fan da xue, IEEE Computer Society

The 10th International Symposium on Theoretical Aspects of Software Engineering : TASE 2016 : proceedings : 17-19 July 2016, Shanghai, China

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Piscataway, NJ: IEEE, 2016
Hoare, Tony [Author]; van Staden, Stephan [Author]; Möller, Bernhard [Author]; Struth, Georg [Author]; Zhu, Huibiao [Author]

Developments in concurrent Kleene algebra

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2016
Hoare, Tony [Author]; van Staden, Stephan [Author]; Möller, Bernhard [Author]; Struth, Georg [Author]; Villard, Jules [Author]; Zhu, Huibiao [Author]; O’Hearn, Peter [Author]

Developments in Concurrent Kleene Algebra

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Augsburg University Publication Server (OPUS), 2014
Ghose, Aditya [Author] ; Zhu, Huibiao [Other]; Yu, Qi [Other]; Delis, Alex [Other]; Sheng, Quang Z. [Other]; Perrin, Olivier [Other]; Wang, Jianmin [Other]; Wang, Yan [Other]

Service-Oriented Computing - ICSOC 2012 Workshops : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7759
Chen, Ningning; Zhu, Huibiao

A process calculus SMrCaIT for IoT

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2024

Published in: Journal of Software: Evolution and Process, 36 (2024) 5
Chen, Ningning; Zhu, Huibiao

A proof system of the CaIT calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2024

Published in: Frontiers of Computer Science, 18 (2024) 2
CHEN, Ningning; ZHU, Huibiao

IoT Modeling and Verification: From the CaIT Calculus to UPPAAL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electronics, Information and Communications Engineers (IEICE), 2023

Published in: IEICE Transactions on Information and Systems, E106.D (2023) 9, Seite 1507-1518
Chen, Ningning; Zhu, Huibiao

Lecture Notes in Computer Science: Denotational and Algebraic Semantics for the CaIT Calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Lecture Notes in Computer Science (2022), Seite 132-150
Xiao, Lili; Zhu, Huibiao

Dependable Software Engineering. Theories, Tools, and Applications: Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Dependable Software Engineering. Theories, Tools, and Applications (2021), Seite 81-101
Banach, Richard; Zhu, Huibiao

Language evolution and healthiness for critical cyber‐physical systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2021

Published in: Journal of Software: Evolution and Process, 33 (2021) 9
Banach, Richard; Zhu, Huibiao

Logic, Computation and Rigorous Methods: Moded and Continuous Abstract State Machines

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Logic, Computation and Rigorous Methods (2021), Seite 29-62
Wu, Xi; Zhu, Huibiao

Formal analysis of a calculus for WSNs from quality perspective

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2018

Published in: Science of Computer Programming, 154 (2018), Seite 134-153
Fei, Yuan; Zhu, Huibiao

Formal Methods and Software Engineering: Modeling and Verifying NDN Access Control Using CSP

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Formal Methods and Software Engineering (2018), Seite 143-159
Wu, Xiaofeng; Zhu, Huibiao

Formal Methods and Software Engineering: Linking Operational Semantics and Algebraic Semantics for Wireless Networks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2013

Published in: Formal Methods and Software Engineering (2013), Seite 380-396

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication