You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (2840)

Journals (0)

1-10 of 2840 results for time check

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Design and model checking of timed automata oriented architecture for Internet of thing

Open access

Research article

First published 2020-5

Design and model checking of timed automata oriented architecture for Internet of thing

Guang Chen, Tonghai Jiang, Meng Wang [...]

International Journal of Distributed Sensor Networks

Select article: Randomized Scales,Scale-Checking Styles,& Reaction Time: Methodological Implications

Retricted access

Research article

First published 2014-1

Randomized Scales,Scale-Checking Styles,& Reaction Time: Methodological Implications

Raj Devasagayam, Richelle Drowne

Business Perspectives and Research

Select article: Posterior Predictive Checks for Conditional Independence Between Response Time and Accuracy

Retricted access

Research article

First published 2016-4

Posterior Predictive Checks for Conditional Independence Between Response Time and Accuracy

Maria Bolsinova, Jesper Tijmstra

Journal of Educational and Behavioral Statistics

Select article: Timed Automata Based Model Checking of Timed Security Protocols

Retricted access

Research article

First published 2009-6

Timed Automata Based Model Checking of Timed Security Protocols

Mirosław Kurkowski, Wojciech Penczek

Fundamenta Informaticae

Select article: Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

Retricted access

Research article

First published 2014-12

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

Bożena Woźna-Szcześniak, Andrzej Zbrzezny

Fundamenta Informaticae

Select article: Hazard Checking of Timed Asynchronous Circuits Revisited

Retricted access

Research article

First published 2008-11

Hazard Checking of Timed Asynchronous Circuits Revisited

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

Fundamenta Informaticae

Select article: Checking Reachability Properties for Timed Automata via SAT

Retricted access

Research article

First published 2003-5

Checking Reachability Properties for Timed Automata via SAT

Bożena Woźna, Andrzej Zbrzezny, Wojciech Penczek

Fundamenta Informaticae

Select article: Update and Abstraction in Model Checking of Knowledge and Branching Time

Retricted access

Research article

First published 2006-8

Update and Abstraction in Model Checking of Knowledge and Branching Time

N.V. Shilov, N.O. Garanina, K.-M. Choe

Fundamenta Informaticae

Select article: Dot.comings and dotgoings – time for a virtuality check?

Retricted access

Research article

First published 2000-12

Dot.comings and dotgoings – time for a virtuality check?

David Lennon

Business Information Review

Select article: Mixed time–frequency domain simulation of a hydraulic inductance pipe with a check valve

Retricted access

Research article

First published 2011-10

Mixed time–frequency domain simulation of a hydraulic inductance pipe with a check valve

R Scheidl, B Manhartsgruber, H Kogler

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

1
2
3
•••
284
10 / page

Article type

Publication date

Subjects

Access