one of the strategies for achieving the knowledge-based economy and wealth creation is high technologies transfer. depending on their needs, all governments and knowledge-based corporations are transferring high technologies at different technology readiness levels. in this study, the researcher seeks to identify and rank the individual and organizational factors affecting high technologies tra...

We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high level constructs, such as sets and functions, to provide a compact and human readable representation. Furthermore, the format allows to identify parameters of a specification such that ...

the current research aims to study the industrial and technological concerns within transfer process of high-tech regarding the technology readiness levels (trls). the importance of the subject is emphasized because different trls have special considerations and the risks of high-tech transfer can be reduced considering them. the main goal of this study is to identify and rank the industrial an...