HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models Instrument : Integrated Project Scheme : Information & Communication Technologies Future and Emerging Technologies Deliverable D 2 . 6 Refinement and Abstraction

@inproceedings{TUD2012HATSPT,
  title={HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models Instrument : Integrated Project Scheme : Information & Communication Technologies Future and Emerging Technologies Deliverable D 2 . 6 Refinement and Abstraction},
  author={Richard Bubel TUD and Mohammad Mahdi Jaghoori},
  year={2012}
}

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 60 REFERENCES

An automata-theoretic framework for real-time actors

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Delphine Longuet, Marjan Sirjani
  • ACM Transactions on Programming Languages and Systems (TOPLAS),
  • 2012
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Scheduling and Analysis of Real-Time Software Families

  • 2012 IEEE 36th Annual Computer Software and Applications Conference
  • 2012
VIEW 2 EXCERPTS

Similar Papers

Loading similar papers…