Guilherme Kunz

According to our database1, Guilherme Kunz authored at least 3 papers between 2011 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements.
IEEE Trans. Ind. Electron., 2017

Using timed automata for modeling, simulating and verifying networked systems controller's specifications.
Neural Comput. Appl., 2017

2011
Modeling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28, 2011


  Loading...