Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • Ernst Moritz Hahn
    • Andrea Turrini
    • Students
    • Visitors
  • Students
  • IscasMC
    • Manual
    • LTL Pattern Formulas
    • Case Studies
  • Publications
  • Contact
  • Group activities

Y.F. Chen visits us

Yu-Fang Chen, from Academia Sinica, Taiwan, is visiting us from Jul. 01 to Dec. 31, 2016.

This entry was posted in Visit on July 1, 2016 by andrea.

Post navigation

← Call for Applications: 2016 Call for Applications for the CAS-TWAS President’s Fellowship M. Stoelinga gives a course on Fault Trees →

IscasMC Web Access

Username:
Password:
Username(*):
Password(*):
Repeat Password(*):
Email Address(*):
First Name:
Last Name:

Recent Posts

  • SETTA’17 best paper award
  • ePMC is publicly available
  • R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF
  • A. Hartmanns visits us
  • IscasMC summer school

Admin area

  • Log in
Proudly powered by WordPress